Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
521	arXiv:1204.6671v1 [cs.LO] 30 Apr 2012 δ-Decidability over the Reals∗ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAMay 1, 2012 Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-04-30 22:29:41 Mathematical logic Theory of computation Computable number Computable function Bounded quantifier Computable real function Function Oracle machine Decision problem Computability theory Theoretical computer science Mathematics
522	Fundamenta Informaticae XX–39 IOS Press A Subtyping for Extensible, Incomplete Objects To Helena Rasiowa: in memoriam Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:34:34 Object-oriented programming Computer programming Data types Polymorphism Subtype polymorphism Models of computation Type system Inheritance Objective-C Software engineering Type theory Computing
523	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
524	Welfare Impact of Policy in Incomplete Markets: Theory and Computation A Dissertation Presented to the Faculty of the Graduate School of Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2006-11-01 21:05:21 Game theory Equations Slutsky equation Pareto efficiency Tax Mathematical economics John Geanakoplos Economics Welfare economics Consumer theory
525	PDF Document Add to Reading List Source URL: socrates.berkeley.edu Language: English - Date: 2001-12-29 10:54:18 Representation theory Symbol Mathematics Holomorphic functional calculus Spectral theory Theory of computation Operator theory
526	Algorithms Lecture 3: Backtracking [Fa’14] ’Tis a lesson you should heed, Try, try again; Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:02:21 Search algorithms Computability theory Theory of computation Programming idioms Backtracking Recursion Eight queens puzzle Tree traversal Longest increasing subsequence Mathematics Applied mathematics Theoretical computer science
527	Understanding Coevolution Theory and Analysis of Coevolutionary Algorithms R. Paul Wiegand Kenneth A. De Jong Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2002-07-15 10:59:39 Science Evolution Coevolution Cybernetics Evolutionary computation Evolutionary algorithm Fitness function Wiegand Evolutionary biology Terminology Knowledge
528	Time-Varying Data Analysis with Time Activity Curves Technology Result/Impact • Fast access and computation of dependent statistics Add to Reading List Source URL: sdav-scidac.org Language: English - Date: 2014-04-01 17:31:43 Feature recognition Theoretical computer science Combinatorics Mathematics Graph Graph theory
529	CCCG 2007, Ottawa, Ontario, August 20–22, 2007 Exact and approximate Geometric Pattern Matching for point sets in the plane under similarity transformations ∗ Dror Aiger† Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:29:05 Models of computation Quantum field theory Nondeterministic finite automaton Gδ set Automata theory Measure theory Support
530	DOC Document Add to Reading List Source URL: www.azonano.com Language: English - Date: 2006-03-09 02:08:00 Models of computation Theory of computation Mathematics Computing Register machines Algorithms HTML HTML element Hexadecimal

UPDATE